Querying DAG-shaped Execution Traces Through Views
نویسندگان
چکیده
The question whether a given set of views, defined by queries, can be used to answer another query, arises in several contexts such as query optimization, data integration and semantic caching [24, 10, 12]. This paper studies a specific instance of this problem, where the queried data has the shape of a DAG (Directed Acyclic Graph) and the query language uses DAG patterns to retrieve portions of the data graph that are of interest. Our study is motivated by a particular application domain concerning the analysis of Web-based Business Processes (BPs for short). Such DAGs / DAG patterns are the standard way to model / query BP execution traces [3]. Previous research considered tree-shaped XML data and (general) graph-shaped Semi-Structured data. We show that the particular DAG shape of BP execution traces makes the problem easier than for general graphs, yet harder than for XML trees. Specifically, we show which combinations of DAG classes and query features allow for PTIME query answering algorithms and which lead to NP-complete problems.
منابع مشابه
Summarized Trace Indexing and Querying for Scalable Back-in-Time Debugging
Back-in-time debuggers offer an interactive exploration interface to execution traces. However, maintaining a good level of interactivity with large execution traces is challenging. Current approaches either maintain execution traces in memory, which limits scalability, or perform exhaustive on-disk indexing, which is not efficient enough. We present a novel scalable disk-based approach that su...
متن کاملProvenance Storage, Querying, and Visualization in PBase
We present PBase, a repository for scientific workflows and their corresponding provenance information that facilitates the sharing of experiments among the scientific community. PBase is interoperable since it uses ProvONE, a standard provenance model for scientific workflows. Workflows and traces are stored in RDF, and with the support of SPARQL and the tree cover encoding, the repository pro...
متن کاملTrace Server: A Tool for Storing, Querying and Analyzing Execution Traces
Various techniques for software verification are in use today, including testing and software model checking. Each of them has certain limitations, imposed by limited memory and computation time. This limits the types of properties that can be analyzed during one execution on a given computer. By carrying out additional analysis of program traces outside the execution of the program, one can ex...
متن کاملLearning Linguistic Concepts Through the Construction of Dictionaries with a Directed Acyclic Graph Shaped Taxonomy
In general the global pedagogical goal of the creation and use of dictionaries is the mastery of languages. The specific goal is to facilitate the assimilation of basic linguistic concepts: lexicon, sense (meaning), semantic categories, lexico-semantic relations, etc. In this paper, we describe the linguistic concepts that constitute the pedagogical goals to attain, as well as the constructivis...
متن کاملThesis submitted in partial fulfillment of graduate requirements for
In this paper we study the problem of testing whether a given set of views, defined by queries, can be used to answer another query, in a context where both the data and the queries are DAG-shaped. Our study is motivated by a particular application concerning a collection of Web services existing in a distributed environment, and a central data repository which caches partial information about ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009